Hierarchical task decomposition is a method used in many agent systems toorganize agent knowledge. This work shows how the combination of a hierarchyand persistent assertions of knowledge can lead to difficulty in maintaininglogical consistency in asserted knowledge. We explore the problematicconsequences of persistent assumptions in the reasoning process and introducenovel potential solutions. Having implemented one of the possible solutions,Dynamic Hierarchical Justification, its effectiveness is demonstrated with anempirical analysis.
展开▼
